Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Constraint Programming
SAT Solvers, Z3, SMT, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
121839
posts in
1.94
s
Deciding the
Satisfiability
of Combined
Qualitative
Constraint Networks
arxiv.org
·
2d
🧩
Constraint Solving
Wahba
’s Problem and SO(3) Optimization:
Rotation
Learning in Geometric ML
hackernoon.com
·
15h
📐
Linear Algebra
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
10h
·
Discuss:
Hacker News
🌳
Tree-sitter
Automatic Generation of
Polynomial
Symmetry
Breaking Constraints
arxiv.org
·
2d
🧩
Constraint Solving
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
1d
·
Discuss:
r/LocalLLaMA
🧩
Constraint Solving
ConGLUDe
: Toward
General-Purpose
Foundation Models for Drug Discovery
cbirt.net
·
22h
🏗️
MLIR
Part 1 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🌳
Tree-sitter
Proof-oriented
Programming in F*
fstar-lang.org
·
2h
·
Discuss:
Lobsters
✓
Formal Verification
Lost
Proofs
, Found
Proofs
: How AI
Unearthed
Forgotten Solutions
hackernoon.com
·
5h
✓
Formal Verification
pythological/kanren
: An extensible, lightweight relational/logic programming DSL written in pure Python
github.com
·
2d
🐫
OCaml
Oatmeal
-
Constraint
propagation for fun
eli.li
·
4d
·
Discuss:
Lobsters
,
Hacker News
🧩
Constraint Solving
Graph network-based design optimization of multiple
chiller
systems with knowledge from
existing
systems
sciencedirect.com
·
16h
🔄
Systems Thinking
Mathematics
of the
Rubik
's Cube
ruwix.com
·
8h
📊
Algorithms
Backtracking
Algorithms
algos.khourani.com
·
1d
📊
Algorithms
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
7h
·
Discuss:
Hacker News
⚡
SIMD Optimization
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
2d
·
Discuss:
Hacker News
🔤
Type Theory
Dear
Agent:
Prove
it.
rijnard.com
·
2h
·
Discuss:
Hacker News
✓
Formal Verification
Introduction
to SQL using
SQLite
: Node
SQLite
dev.to
·
3h
·
Discuss:
DEV
🗃️
SQLite
Results from the
Advent
of
FPGA
Challenge
blog.janestreet.com
·
2h
·
Discuss:
Hacker News
⚙️
CPU Microarchitecture
百度千帆推出
AI
编码订阅服务
Coding Plan
linux.do
·
5h
⚙️
JIT Compilation
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help